In this paper we consider two points of views to the problem of coherentintegration of distributed data. First we give a pure model-theoretic analysisof the possible ways to `repair' a database. We do so by characterizing thepossibilities to `recover' consistent data from an inconsistent database interms of those models of the database that exhibit as minimal inconsistentinformation as reasonably possible. Then we introduce an abductive applicationto restore the consistency of a given database. This application is based on anabductive solver (A-system) that implements an SLDNFA-resolution procedure, andcomputes a list of data-facts that should be inserted to the database orretracted from it in order to keep the database consistent. The two approachesfor coherent data integration are related by soundness and completenessresults.
展开▼
